home *** CD-ROM | disk | FTP | other *** search
/ ETO Development Tools 4 / ETO Development Tools 4.iso / Essentials / MacApp Documentation / MacApp.TECH$ Archives / 1990 / Apr 90 / MacApp.Tech$ 4⁄20⁄90 / 1146-Re[2] Assertions in -Apr90 < prev    next >
Encoding:
Text File  |  1991-03-06  |  1.9 KB  |  43 lines  |  [TEXT/GEOL]
  1. Item forwarded  by  A33          to A34
  2.  
  3. Item    3932933                         19-April-90        06:44PDT
  4.  
  5. From:   ALGER                           Alger, Jeff,VCA
  6.  
  7. To:     A14                             Carnegie Mellon, Rob Chandok,PRA
  8.  
  9. cc:     MACAPP.TECH$                    MacApp Technical
  10.  
  11. Sub:    Re: Re: Assertions in MacApp
  12.  
  13. Rob,
  14.  
  15. Amen.  There is too much "discovery" of old ideas out there, and assertion is
  16. one of them.  All major languages are Turing machines, so there is no
  17. difference between what you can, in theory, do from one language to another.
  18. The differences are all in degree of difficulty to accomplish certain
  19. objectives versus execution time and space.
  20.  
  21. On the subject of "for all" and "there exists," that (sigh) would be a welcome
  22. addition to Object Pascal, but requires a good deal more infrastructure than OP
  23. provides.  Specifically, OP does not have the concept of a set of objects, let
  24. alone placing all objects into "master" sets based on class or anything else.
  25.  
  26. I liked the term "syntactic sugar" applied to assertions in Eiffel, but would
  27. take that one step further.  Objects in OP are, to me, syntactic sugar plus a
  28. little bit of dispatch glue, not objects in the same sense as SmallTalk, CLOS,
  29. Object Prolog, etc., etc., etc.  "Even" C++ allows allocation and deallocation
  30. of storage of objects to be determined separately from the behavior of the
  31. objects themselves (a class behavior), class variables, and a number of other
  32. blue-blood OOP features.  In C++, one can at least conveniently superimpose
  33. maintenance of class sets and, therefore, "for all" and "there exists", without
  34. changing the public interface to a class's objects.  C++ has its problems, too,
  35. but the point here is that one can and should do MUCH better than OP.
  36.  
  37. Ah, nothing like stirring up a little controversy in the morning.
  38.  
  39. Jeff Alger
  40. Exis
  41. A Technology Firm of KPMG Peat Marwick
  42.  
  43.